形式定义的安全性模型formally: adv. 1.正式地。 2.遵照一定格式地。 3.形式上 ...define: vt. 1.为…立界限,限定,规定。 2.(弄)明确。 ...security: n. 1.安全(感);安稳;稳妥;平安。 2.确实;确信 ...formally: adv. 1.正式地。 2.遵照一定格式地。 3.形式上。 be defined as: 被定义为下载手机词典可随时随地查词查翻译